Data Migration using Datalog Program Synthesis